msgs($l$;before(${\it e'}$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$map($\lambda$$e$.emsg($e$);rcvs($l$;before(${\it e'}$)))